1.
3.
Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis
by Troelstra, Anne S.
ISBN: 9783540064916
List Price: $69.95
4.
5.
Choice Sequences: A Chapter of Intuitionistic Mathematics
by Troelstra, A. S.
ISBN: 9780198531630
List Price: $24.95
OUT OF STOCK
See Availability on Amazon6.
7.
Constructivism in Mathematics An Introduction
by Troelstra, A. S., Van Dalen...
ISBN: 9780444702661
List Price: $220.00
9.
Constructivism in Mathematics: An Introduction, Vol. 2 - A. S. Troelstra - Hardcover
by Troelstra, A. S., Van Dalen...
ISBN: 9780444703583
List Price: $147.00
OUT OF STOCK
See Availability on Amazon10.
L.E.J.Brouwer Centenary Symposium Proceedings (Studies in Logic & the Foundations of Mathema...
by Troelstra, A. S., Van Dalen...
ISBN: 9780444864949
List Price: $95.00
OUT OF STOCK
See Availability on Amazon11.
Metamathematical Investigations of Intuitionistic Arithmetic and Analysis
by Troelstra, A. S.
ISBN: 9780387064918
List Price: $23.00
OUT OF STOCK
See Availability on Amazon14.
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
by A. S. Troelstra, H. Schwich...
ISBN: 9780521572231
List Price: $60.99
OUT OF STOCK
See Availability on Amazon15.
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
by Troelstra, Anne S.
ISBN: 9783662210352
List Price: $24.99
OUT OF STOCK
See Availability on Amazon17.
Younger Dryas Proceedings of a Workshop at the Royal Netherlands Academy of Arts and Science...
by Troelstra, S. R., Van Hinte...
ISBN: 9780444858061
List Price: $38.00
OUT OF STOCK
See Availability on Amazon18.
Bibliography of Mathematical Logic Proof Theory Constructive Mathematics
by Kister, J. E., Van Dalen, D...
ISBN: 9780387155241
List Price: $273.00
OUT OF STOCK
See Availability on Amazon22.
Constructivism in Mathematics: an Introduction
by Troelstra, Anne S., Beklemi...
ISBN: 9780080570884